// $ANTLR 3.1.2 D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g 2009-06-09 19:24:17

package org.protege.owl.examples.tab.grammar;


import org.antlr.runtime.*;
import java.util.Stack;
import java.util.List;
import java.util.ArrayList;

public class FOLStage2Lexer extends Lexer {
    public static final int STAT=14;
    public static final int T__24=24;
    public static final int T__23=23;
    public static final int T__22=22;
    public static final int QTF=15;
    public static final int FORALL=6;
    public static final int REL=19;
    public static final int SEPARATOR=7;
    public static final int NOT=5;
    public static final int ID=10;
    public static final int AND=12;
    public static final int EOF=-1;
    public static final int WS=21;
    public static final int EXPR=17;
    public static final int NEWLINE=20;
    public static final int RANGE_CLAUSE=9;
    public static final int IS=13;
    public static final int NEG=16;
    public static final int OR=11;
    public static final int VAR=18;
    public static final int EXISTS=8;
    public static final int DOT=4;

    // delegates
    // delegators

    public FOLStage2Lexer() {;} 
    public FOLStage2Lexer(CharStream input) {
        this(input, new RecognizerSharedState());
    }
    public FOLStage2Lexer(CharStream input, RecognizerSharedState state) {
        super(input,state);

    }
    public String getGrammarFileName() { return "D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g"; }

    // $ANTLR start "T__22"
    public final void mT__22() throws RecognitionException {
        try {
            int _type = T__22;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:7:7: ( ',' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:7:9: ','
            {
            match(','); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__22"

    // $ANTLR start "T__23"
    public final void mT__23() throws RecognitionException {
        try {
            int _type = T__23;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:8:7: ( ':' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:8:9: ':'
            {
            match(':'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__23"

    // $ANTLR start "T__24"
    public final void mT__24() throws RecognitionException {
        try {
            int _type = T__24;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:9:7: ( ';' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:9:9: ';'
            {
            match(';'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__24"

    // $ANTLR start "STAT"
    public final void mSTAT() throws RecognitionException {
        try {
            int _type = STAT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:102:5: ( 'Statement' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:102:7: 'Statement'
            {
            match("Statement"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "STAT"

    // $ANTLR start "QTF"
    public final void mQTF() throws RecognitionException {
        try {
            int _type = QTF;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:104:4: ( 'Quantifier' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:104:6: 'Quantifier'
            {
            match("Quantifier"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "QTF"

    // $ANTLR start "NEG"
    public final void mNEG() throws RecognitionException {
        try {
            int _type = NEG;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:106:4: ( 'Negative' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:106:6: 'Negative'
            {
            match("Negative"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "NEG"

    // $ANTLR start "EXPR"
    public final void mEXPR() throws RecognitionException {
        try {
            int _type = EXPR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:108:5: ( 'Expression' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:108:7: 'Expression'
            {
            match("Expression"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "EXPR"

    // $ANTLR start "VAR"
    public final void mVAR() throws RecognitionException {
        try {
            int _type = VAR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:110:4: ( 'Variable' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:110:6: 'Variable'
            {
            match("Variable"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "VAR"

    // $ANTLR start "REL"
    public final void mREL() throws RecognitionException {
        try {
            int _type = REL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:112:4: ( 'Relates' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:112:6: 'Relates'
            {
            match("Relates"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "REL"

    // $ANTLR start "FORALL"
    public final void mFORALL() throws RecognitionException {
        try {
            int _type = FORALL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:7: ( 'FOR ALL' | 'FOR EVERY' | 'FOR EACH' | 'ALL' | 'EVERY' | 'EACH' )
            int alt1=6;
            alt1 = dfa1.predict(input);
            switch (alt1) {
                case 1 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:9: 'FOR ALL'
                    {
                    match("FOR ALL"); 


                    }
                    break;
                case 2 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:21: 'FOR EVERY'
                    {
                    match("FOR EVERY"); 


                    }
                    break;
                case 3 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:35: 'FOR EACH'
                    {
                    match("FOR EACH"); 


                    }
                    break;
                case 4 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:48: 'ALL'
                    {
                    match("ALL"); 


                    }
                    break;
                case 5 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:56: 'EVERY'
                    {
                    match("EVERY"); 


                    }
                    break;
                case 6 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:116:66: 'EACH'
                    {
                    match("EACH"); 


                    }
                    break;

            }
            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "FORALL"

    // $ANTLR start "EXISTS"
    public final void mEXISTS() throws RecognitionException {
        try {
            int _type = EXISTS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:7: ( 'EXISTS' | 'EXIST' | 'THERE IS' | 'THERE ARE' | 'FOR SOME' | 'SOME' )
            int alt2=6;
            alt2 = dfa2.predict(input);
            switch (alt2) {
                case 1 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:9: 'EXISTS'
                    {
                    match("EXISTS"); 


                    }
                    break;
                case 2 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:20: 'EXIST'
                    {
                    match("EXIST"); 


                    }
                    break;
                case 3 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:30: 'THERE IS'
                    {
                    match("THERE IS"); 


                    }
                    break;
                case 4 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:43: 'THERE ARE'
                    {
                    match("THERE ARE"); 


                    }
                    break;
                case 5 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:57: 'FOR SOME'
                    {
                    match("FOR SOME"); 


                    }
                    break;
                case 6 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:118:70: 'SOME'
                    {
                    match("SOME"); 


                    }
                    break;

            }
            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "EXISTS"

    // $ANTLR start "RANGE_CLAUSE"
    public final void mRANGE_CLAUSE() throws RecognitionException {
        try {
            int _type = RANGE_CLAUSE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:120:13: ( 'WHERE' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:120:15: 'WHERE'
            {
            match("WHERE"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "RANGE_CLAUSE"

    // $ANTLR start "SEPARATOR"
    public final void mSEPARATOR() throws RecognitionException {
        try {
            int _type = SEPARATOR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:10: ( 'THAT' | 'HAS' | 'HAVE' | 'WHO' | 'WHICH' | '-' )
            int alt3=6;
            alt3 = dfa3.predict(input);
            switch (alt3) {
                case 1 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:12: 'THAT'
                    {
                    match("THAT"); 


                    }
                    break;
                case 2 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:21: 'HAS'
                    {
                    match("HAS"); 


                    }
                    break;
                case 3 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:29: 'HAVE'
                    {
                    match("HAVE"); 


                    }
                    break;
                case 4 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:38: 'WHO'
                    {
                    match("WHO"); 


                    }
                    break;
                case 5 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:46: 'WHICH'
                    {
                    match("WHICH"); 


                    }
                    break;
                case 6 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:122:56: '-'
                    {
                    match('-'); 

                    }
                    break;

            }
            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "SEPARATOR"

    // $ANTLR start "NOT"
    public final void mNOT() throws RecognitionException {
        try {
            int _type = NOT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:124:4: ( 'NOT' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:124:6: 'NOT'
            {
            match("NOT"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "NOT"

    // $ANTLR start "AND"
    public final void mAND() throws RecognitionException {
        try {
            int _type = AND;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:126:4: ( 'AND' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:126:6: 'AND'
            {
            match("AND"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "AND"

    // $ANTLR start "OR"
    public final void mOR() throws RecognitionException {
        try {
            int _type = OR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:128:3: ( 'OR' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:128:5: 'OR'
            {
            match("OR"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "OR"

    // $ANTLR start "IS"
    public final void mIS() throws RecognitionException {
        try {
            int _type = IS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:130:3: ( 'IS' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:130:5: 'IS'
            {
            match("IS"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "IS"

    // $ANTLR start "DOT"
    public final void mDOT() throws RecognitionException {
        try {
            int _type = DOT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:132:4: ( '.' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:132:6: '.'
            {
            match('.'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "DOT"

    // $ANTLR start "ID"
    public final void mID() throws RecognitionException {
        try {
            int _type = ID;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:136:3: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' )* )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:136:5: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' )*
            {
            if ( (input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) {
                input.consume();

            }
            else {
                MismatchedSetException mse = new MismatchedSetException(null,input);
                recover(mse);
                throw mse;}

            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:136:28: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' )*
            loop4:
            do {
                int alt4=2;
                int LA4_0 = input.LA(1);

                if ( ((LA4_0>='0' && LA4_0<='9')||(LA4_0>='A' && LA4_0<='Z')||LA4_0=='_'||(LA4_0>='a' && LA4_0<='z')) ) {
                    alt4=1;
                }


                switch (alt4) {
            	case 1 :
            	    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:
            	    {
            	    if ( (input.LA(1)>='0' && input.LA(1)<='9')||(input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) {
            	        input.consume();

            	    }
            	    else {
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;}


            	    }
            	    break;

            	default :
            	    break loop4;
                }
            } while (true);


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "ID"

    // $ANTLR start "NEWLINE"
    public final void mNEWLINE() throws RecognitionException {
        try {
            int _type = NEWLINE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:140:8: ( ( '\\r' )? '\\n' )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:140:9: ( '\\r' )? '\\n'
            {
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:140:9: ( '\\r' )?
            int alt5=2;
            int LA5_0 = input.LA(1);

            if ( (LA5_0=='\r') ) {
                alt5=1;
            }
            switch (alt5) {
                case 1 :
                    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:140:9: '\\r'
                    {
                    match('\r'); 

                    }
                    break;

            }

            match('\n'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "NEWLINE"

    // $ANTLR start "WS"
    public final void mWS() throws RecognitionException {
        try {
            int _type = WS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:142:4: ( ( ' ' | '\\t' | '\\n' | '\\r' )+ )
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:142:6: ( ' ' | '\\t' | '\\n' | '\\r' )+
            {
            // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:142:6: ( ' ' | '\\t' | '\\n' | '\\r' )+
            int cnt6=0;
            loop6:
            do {
                int alt6=2;
                int LA6_0 = input.LA(1);

                if ( ((LA6_0>='\t' && LA6_0<='\n')||LA6_0=='\r'||LA6_0==' ') ) {
                    alt6=1;
                }


                switch (alt6) {
            	case 1 :
            	    // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:
            	    {
            	    if ( (input.LA(1)>='\t' && input.LA(1)<='\n')||input.LA(1)=='\r'||input.LA(1)==' ' ) {
            	        input.consume();

            	    }
            	    else {
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;}


            	    }
            	    break;

            	default :
            	    if ( cnt6 >= 1 ) break loop6;
                        EarlyExitException eee =
                            new EarlyExitException(6, input);
                        throw eee;
                }
                cnt6++;
            } while (true);

            skip();

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "WS"

    public void mTokens() throws RecognitionException {
        // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:8: ( T__22 | T__23 | T__24 | STAT | QTF | NEG | EXPR | VAR | REL | FORALL | EXISTS | RANGE_CLAUSE | SEPARATOR | NOT | AND | OR | IS | DOT | ID | NEWLINE | WS )
        int alt7=21;
        alt7 = dfa7.predict(input);
        switch (alt7) {
            case 1 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:10: T__22
                {
                mT__22(); 

                }
                break;
            case 2 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:16: T__23
                {
                mT__23(); 

                }
                break;
            case 3 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:22: T__24
                {
                mT__24(); 

                }
                break;
            case 4 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:28: STAT
                {
                mSTAT(); 

                }
                break;
            case 5 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:33: QTF
                {
                mQTF(); 

                }
                break;
            case 6 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:37: NEG
                {
                mNEG(); 

                }
                break;
            case 7 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:41: EXPR
                {
                mEXPR(); 

                }
                break;
            case 8 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:46: VAR
                {
                mVAR(); 

                }
                break;
            case 9 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:50: REL
                {
                mREL(); 

                }
                break;
            case 10 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:54: FORALL
                {
                mFORALL(); 

                }
                break;
            case 11 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:61: EXISTS
                {
                mEXISTS(); 

                }
                break;
            case 12 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:68: RANGE_CLAUSE
                {
                mRANGE_CLAUSE(); 

                }
                break;
            case 13 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:81: SEPARATOR
                {
                mSEPARATOR(); 

                }
                break;
            case 14 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:91: NOT
                {
                mNOT(); 

                }
                break;
            case 15 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:95: AND
                {
                mAND(); 

                }
                break;
            case 16 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:99: OR
                {
                mOR(); 

                }
                break;
            case 17 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:102: IS
                {
                mIS(); 

                }
                break;
            case 18 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:105: DOT
                {
                mDOT(); 

                }
                break;
            case 19 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:109: ID
                {
                mID(); 

                }
                break;
            case 20 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:112: NEWLINE
                {
                mNEWLINE(); 

                }
                break;
            case 21 :
                // D:\\Projekty\\Protege4Workspace\\org.protege.editor.owl.examples.tab\\src\\org\\protege\\owl\\examples\\tab\\grammar\\FOLStage2.g:1:120: WS
                {
                mWS(); 

                }
                break;

        }

    }


    protected DFA1 dfa1 = new DFA1(this);
    protected DFA2 dfa2 = new DFA2(this);
    protected DFA3 dfa3 = new DFA3(this);
    protected DFA7 dfa7 = new DFA7(this);
    static final String DFA1_eotS =
        "\15\uffff";
    static final String DFA1_eofS =
        "\15\uffff";
    static final String DFA1_minS =
        "\1\101\1\117\1\uffff\1\101\1\122\2\uffff\1\40\1\101\1\uffff\1\101"+
        "\2\uffff";
    static final String DFA1_maxS =
        "\1\106\1\117\1\uffff\1\126\1\122\2\uffff\1\40\1\105\1\uffff\1\126"+
        "\2\uffff";
    static final String DFA1_acceptS =
        "\2\uffff\1\4\2\uffff\1\5\1\6\2\uffff\1\1\1\uffff\1\2\1\3";
    static final String DFA1_specialS =
        "\15\uffff}>";
    static final String[] DFA1_transitionS = {
            "\1\2\3\uffff\1\3\1\1",
            "\1\4",
            "",
            "\1\6\24\uffff\1\5",
            "\1\7",
            "",
            "",
            "\1\10",
            "\1\11\3\uffff\1\12",
            "",
            "\1\14\24\uffff\1\13",
            "",
            ""
    };

    static final short[] DFA1_eot = DFA.unpackEncodedString(DFA1_eotS);
    static final short[] DFA1_eof = DFA.unpackEncodedString(DFA1_eofS);
    static final char[] DFA1_min = DFA.unpackEncodedStringToUnsignedChars(DFA1_minS);
    static final char[] DFA1_max = DFA.unpackEncodedStringToUnsignedChars(DFA1_maxS);
    static final short[] DFA1_accept = DFA.unpackEncodedString(DFA1_acceptS);
    static final short[] DFA1_special = DFA.unpackEncodedString(DFA1_specialS);
    static final short[][] DFA1_transition;

    static {
        int numStates = DFA1_transitionS.length;
        DFA1_transition = new short[numStates][];
        for (int i=0; i<numStates; i++) {
            DFA1_transition[i] = DFA.unpackEncodedString(DFA1_transitionS[i]);
        }
    }

    class DFA1 extends DFA {

        public DFA1(BaseRecognizer recognizer) {
            this.recognizer = recognizer;
            this.decisionNumber = 1;
            this.eot = DFA1_eot;
            this.eof = DFA1_eof;
            this.min = DFA1_min;
            this.max = DFA1_max;
            this.accept = DFA1_accept;
            this.special = DFA1_special;
            this.transition = DFA1_transition;
        }
        public String getDescription() {
            return "116:1: FORALL : ( 'FOR ALL' | 'FOR EVERY' | 'FOR EACH' | 'ALL' | 'EVERY' | 'EACH' );";
        }
    }
    static final String DFA2_eotS =
        "\13\uffff\1\16\6\uffff";
    static final String DFA2_eofS =
        "\22\uffff";
    static final String DFA2_minS =
        "\1\105\1\130\1\110\2\uffff\1\111\1\105\1\123\1\122\1\124\1\105"+
        "\1\123\1\40\2\uffff\1\101\2\uffff";
    static final String DFA2_maxS =
        "\1\124\1\130\1\110\2\uffff\1\111\1\105\1\123\1\122\1\124\1\105"+
        "\1\123\1\40\2\uffff\1\111\2\uffff";
    static final String DFA2_acceptS =
        "\3\uffff\1\5\1\6\10\uffff\1\1\1\2\1\uffff\1\3\1\4";
    static final String DFA2_specialS =
        "\22\uffff}>";
    static final String[] DFA2_transitionS = {
            "\1\1\1\3\14\uffff\1\4\1\2",
            "\1\5",
            "\1\6",
            "",
            "",
            "\1\7",
            "\1\10",
            "\1\11",
            "\1\12",
            "\1\13",
            "\1\14",
            "\1\15",
            "\1\17",
            "",
            "",
            "\1\21\7\uffff\1\20",
            "",
            ""
    };

    static final short[] DFA2_eot = DFA.unpackEncodedString(DFA2_eotS);
    static final short[] DFA2_eof = DFA.unpackEncodedString(DFA2_eofS);
    static final char[] DFA2_min = DFA.unpackEncodedStringToUnsignedChars(DFA2_minS);
    static final char[] DFA2_max = DFA.unpackEncodedStringToUnsignedChars(DFA2_maxS);
    static final short[] DFA2_accept = DFA.unpackEncodedString(DFA2_acceptS);
    static final short[] DFA2_special = DFA.unpackEncodedString(DFA2_specialS);
    static final short[][] DFA2_transition;

    static {
        int numStates = DFA2_transitionS.length;
        DFA2_transition = new short[numStates][];
        for (int i=0; i<numStates; i++) {
            DFA2_transition[i] = DFA.unpackEncodedString(DFA2_transitionS[i]);
        }
    }

    class DFA2 extends DFA {

        public DFA2(BaseRecognizer recognizer) {
            this.recognizer = recognizer;
            this.decisionNumber = 2;
            this.eot = DFA2_eot;
            this.eof = DFA2_eof;
            this.min = DFA2_min;
            this.max = DFA2_max;
            this.accept = DFA2_accept;
            this.special = DFA2_special;
            this.transition = DFA2_transition;
        }
        public String getDescription() {
            return "118:1: EXISTS : ( 'EXISTS' | 'EXIST' | 'THERE IS' | 'THERE ARE' | 'FOR SOME' | 'SOME' );";
        }
    }
    static final String DFA3_eotS =
        "\13\uffff";
    static final String DFA3_eofS =
        "\13\uffff";
    static final String DFA3_minS =
        "\1\55\1\uffff\1\101\1\110\1\uffff\1\123\1\111\4\uffff";
    static final String DFA3_maxS =
        "\1\127\1\uffff\1\101\1\110\1\uffff\1\126\1\117\4\uffff";
    static final String DFA3_acceptS =
        "\1\uffff\1\1\2\uffff\1\6\2\uffff\1\2\1\3\1\4\1\5";
    static final String DFA3_specialS =
        "\13\uffff}>";
    static final String[] DFA3_transitionS = {
            "\1\4\32\uffff\1\2\13\uffff\1\1\2\uffff\1\3",
            "",
            "\1\5",
            "\1\6",
            "",
            "\1\7\2\uffff\1\10",
            "\1\12\5\uffff\1\11",
            "",
            "",
            "",
            ""
    };

    static final short[] DFA3_eot = DFA.unpackEncodedString(DFA3_eotS);
    static final short[] DFA3_eof = DFA.unpackEncodedString(DFA3_eofS);
    static final char[] DFA3_min = DFA.unpackEncodedStringToUnsignedChars(DFA3_minS);
    static final char[] DFA3_max = DFA.unpackEncodedStringToUnsignedChars(DFA3_maxS);
    static final short[] DFA3_accept = DFA.unpackEncodedString(DFA3_acceptS);
    static final short[] DFA3_special = DFA.unpackEncodedString(DFA3_specialS);
    static final short[][] DFA3_transition;

    static {
        int numStates = DFA3_transitionS.length;
        DFA3_transition = new short[numStates][];
        for (int i=0; i<numStates; i++) {
            DFA3_transition[i] = DFA.unpackEncodedString(DFA3_transitionS[i]);
        }
    }

    class DFA3 extends DFA {

        public DFA3(BaseRecognizer recognizer) {
            this.recognizer = recognizer;
            this.decisionNumber = 3;
            this.eot = DFA3_eot;
            this.eof = DFA3_eof;
            this.min = DFA3_min;
            this.max = DFA3_max;
            this.accept = DFA3_accept;
            this.special = DFA3_special;
            this.transition = DFA3_transition;
        }
        public String getDescription() {
            return "122:1: SEPARATOR : ( 'THAT' | 'HAS' | 'HAVE' | 'WHO' | 'WHICH' | '-' );";
        }
    }
    static final String DFA7_eotS =
        "\4\uffff\13\23\1\uffff\2\23\2\uffff\1\26\1\52\1\uffff\21\23\1\100"+
        "\1\101\1\uffff\4\23\1\106\7\23\1\116\1\117\3\23\1\17\1\23\1\17\1"+
        "\23\2\uffff\1\23\1\126\2\23\1\uffff\2\23\1\116\3\23\3\uffff\1\23"+
        "\1\17\2\23\1\17\1\23\1\uffff\3\23\1\116\1\126\3\23\1\150\1\17\4"+
        "\23\1\126\2\23\1\uffff\5\23\1\164\2\23\1\167\1\23\1\171\1\uffff"+
        "\1\172\1\23\1\uffff\1\23\2\uffff\1\175\1\176\2\uffff";
    static final String DFA7_eofS =
        "\177\uffff";
    static final String DFA7_minS =
        "\1\11\3\uffff\1\117\1\165\1\117\1\101\1\141\1\145\1\117\1\114\2"+
        "\110\1\101\1\uffff\1\122\1\123\2\uffff\1\12\1\11\1\uffff\1\141\1"+
        "\115\1\141\1\147\1\124\1\160\1\105\1\103\1\111\1\162\1\154\1\122"+
        "\1\114\1\104\1\101\1\105\1\123\2\60\1\uffff\1\164\1\105\1\156\1"+
        "\141\1\60\1\162\1\122\1\110\1\123\1\151\1\141\1\40\2\60\1\122\1"+
        "\124\1\122\1\60\1\103\1\60\1\105\2\uffff\1\145\1\60\2\164\1\uffff"+
        "\1\145\1\131\1\60\1\124\1\141\1\164\1\101\2\uffff\1\105\1\60\1\105"+
        "\1\110\1\60\1\155\1\uffff\2\151\1\163\2\60\1\142\1\145\1\40\2\60"+
        "\1\145\1\146\1\166\1\163\1\60\1\154\1\163\1\uffff\1\156\1\151\1"+
        "\145\1\151\1\145\1\60\1\164\1\145\1\60\1\157\1\60\1\uffff\1\60\1"+
        "\162\1\uffff\1\156\2\uffff\2\60\2\uffff";
    static final String DFA7_maxS =
        "\1\172\3\uffff\1\164\1\165\1\145\1\170\1\141\1\145\1\117\1\116"+
        "\2\110\1\101\1\uffff\1\122\1\123\2\uffff\1\12\1\40\1\uffff\1\141"+
        "\1\115\1\141\1\147\1\124\1\160\1\105\1\103\1\111\1\162\1\154\1\122"+
        "\1\114\1\104\1\105\1\117\1\126\2\172\1\uffff\1\164\1\105\1\156\1"+
        "\141\1\172\1\162\1\122\1\110\1\123\1\151\1\141\1\40\2\172\1\122"+
        "\1\124\1\122\1\172\1\103\1\172\1\105\2\uffff\1\145\1\172\2\164\1"+
        "\uffff\1\145\1\131\1\172\1\124\1\141\1\164\1\123\2\uffff\1\105\1"+
        "\172\1\105\1\110\1\172\1\155\1\uffff\2\151\1\163\2\172\1\142\1\145"+
        "\1\40\2\172\1\145\1\146\1\166\1\163\1\172\1\154\1\163\1\uffff\1"+
        "\156\1\151\1\145\1\151\1\145\1\172\1\164\1\145\1\172\1\157\1\172"+
        "\1\uffff\1\172\1\162\1\uffff\1\156\2\uffff\2\172\2\uffff";
    static final String DFA7_acceptS =
        "\1\uffff\1\1\1\2\1\3\13\uffff\1\15\2\uffff\1\22\1\23\2\uffff\1"+
        "\25\23\uffff\1\24\25\uffff\1\20\1\21\4\uffff\1\16\7\uffff\1\12\1"+
        "\17\6\uffff\1\13\21\uffff\1\14\13\uffff\1\11\2\uffff\1\6\1\uffff"+
        "\1\10\1\4\2\uffff\1\5\1\7";
    static final String DFA7_specialS =
        "\177\uffff}>";
    static final String[] DFA7_transitionS = {
            "\1\26\1\25\2\uffff\1\24\22\uffff\1\26\13\uffff\1\1\1\17\1\22"+
            "\13\uffff\1\2\1\3\5\uffff\1\13\3\23\1\7\1\12\1\23\1\16\1\21"+
            "\4\23\1\6\1\20\1\23\1\5\1\11\1\4\1\14\1\23\1\10\1\15\3\23\4"+
            "\uffff\1\23\1\uffff\32\23",
            "",
            "",
            "",
            "\1\30\44\uffff\1\27",
            "\1\31",
            "\1\33\25\uffff\1\32",
            "\1\36\24\uffff\1\35\1\uffff\1\37\37\uffff\1\34",
            "\1\40",
            "\1\41",
            "\1\42",
            "\1\43\1\uffff\1\44",
            "\1\45",
            "\1\46",
            "\1\47",
            "",
            "\1\50",
            "\1\51",
            "",
            "",
            "\1\25",
            "\2\26\2\uffff\1\26\22\uffff\1\26",
            "",
            "\1\53",
            "\1\54",
            "\1\55",
            "\1\56",
            "\1\57",
            "\1\60",
            "\1\61",
            "\1\62",
            "\1\63",
            "\1\64",
            "\1\65",
            "\1\66",
            "\1\67",
            "\1\70",
            "\1\72\3\uffff\1\71",
            "\1\73\3\uffff\1\75\5\uffff\1\74",
            "\1\76\2\uffff\1\77",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "",
            "\1\102",
            "\1\103",
            "\1\104",
            "\1\105",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\107",
            "\1\110",
            "\1\111",
            "\1\112",
            "\1\113",
            "\1\114",
            "\1\115",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\120",
            "\1\121",
            "\1\122",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\123",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\124",
            "",
            "",
            "\1\125",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\127",
            "\1\130",
            "",
            "\1\131",
            "\1\132",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\133",
            "\1\134",
            "\1\135",
            "\1\116\3\uffff\1\116\15\uffff\1\126",
            "",
            "",
            "\1\136",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\137",
            "\1\140",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\141",
            "",
            "\1\142",
            "\1\143",
            "\1\144",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\12\23\7\uffff\22\23\1\145\7\23\4\uffff\1\23\1\uffff\32\23",
            "\1\146",
            "\1\147",
            "\1\126",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\151",
            "\1\152",
            "\1\153",
            "\1\154",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\155",
            "\1\156",
            "",
            "\1\157",
            "\1\160",
            "\1\161",
            "\1\162",
            "\1\163",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\165",
            "\1\166",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\170",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\1\173",
            "",
            "\1\174",
            "",
            "",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "\12\23\7\uffff\32\23\4\uffff\1\23\1\uffff\32\23",
            "",
            ""
    };

    static final short[] DFA7_eot = DFA.unpackEncodedString(DFA7_eotS);
    static final short[] DFA7_eof = DFA.unpackEncodedString(DFA7_eofS);
    static final char[] DFA7_min = DFA.unpackEncodedStringToUnsignedChars(DFA7_minS);
    static final char[] DFA7_max = DFA.unpackEncodedStringToUnsignedChars(DFA7_maxS);
    static final short[] DFA7_accept = DFA.unpackEncodedString(DFA7_acceptS);
    static final short[] DFA7_special = DFA.unpackEncodedString(DFA7_specialS);
    static final short[][] DFA7_transition;

    static {
        int numStates = DFA7_transitionS.length;
        DFA7_transition = new short[numStates][];
        for (int i=0; i<numStates; i++) {
            DFA7_transition[i] = DFA.unpackEncodedString(DFA7_transitionS[i]);
        }
    }

    class DFA7 extends DFA {

        public DFA7(BaseRecognizer recognizer) {
            this.recognizer = recognizer;
            this.decisionNumber = 7;
            this.eot = DFA7_eot;
            this.eof = DFA7_eof;
            this.min = DFA7_min;
            this.max = DFA7_max;
            this.accept = DFA7_accept;
            this.special = DFA7_special;
            this.transition = DFA7_transition;
        }
        public String getDescription() {
            return "1:1: Tokens : ( T__22 | T__23 | T__24 | STAT | QTF | NEG | EXPR | VAR | REL | FORALL | EXISTS | RANGE_CLAUSE | SEPARATOR | NOT | AND | OR | IS | DOT | ID | NEWLINE | WS );";
        }
    }
 

}